Invariants of the linear group modulo $\pi=p\sb 1\sp {\lambda\sb 1}p\sb 2\sp {\lambda\sb 2}\cdots p\sb n\sp {\lambda\sb n}$

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Modulo-2 Linear Invariants for Hardware Model Checking

We present an algorithm to automatically extract inductive modulo-2 linear invariants from a design. This algorithm makes use of basic linear algebra and is realized on top of an incremental SAT solver. The experimental results demonstrate that a large number of designs possess linear invariants that can be efficiently found by our method. We study how these invariants can be helpful in the con...

متن کامل

Fast Algorithms for Linear Algebra Modulo N

Many linear algebra problems over the ring ZZN of integers modulo N can be solved by transforming via elementary row operations an n ⇥ m input matrix A to Howell form H. The nonzero rows of H give a canonical set of generators for the submodule of (ZZN ) m generated by the rows of A. In this paper we present an algorithm to recover H together with an invertible transformation matrix P which sat...

متن کامل

Linear Codes Through Latin Squares Modulo n

It is known that t mutually orthogonal latin squares of order n generate a b t 2c-error correcting code with n codewords. In this paper we consider latin squares of order n made up of elements taken from Zn. In this situation we consider when this code is linear. We present neccessary and sufficient conditions on the latin squares and obtain a method of constructing a maximal family of mutually...

متن کامل

On the invariants of a linear group of order 336

The polynomial invariants of a certain classical linear group of order 336 arise naturally in studying error-correcting codes over GF(7). An incomplete description of these invariants was given by Maschke in 1893. With the aid of the Poincare series for this group, found by Edge in 1947, we complete Maschke's work by giving a unique representation for the invariants in terms of 12 basic invaria...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Transactions of the American Mathematical Society

سال: 1924

ISSN: 0002-9947

DOI: 10.1090/s0002-9947-1924-1501289-5